<html>
<head><meta charset="utf-8"><title>RustVerify Workshop · wg-formal-methods · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/index.html">wg-formal-methods</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html">RustVerify Workshop</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="231604998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/RustVerify%20Workshop/near/231604998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bas Spitters <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html#231604998">(Mar 24 2021 at 09:36)</a>:</h4>
<p>In case people missed it:<br>
<a href="https://sites.google.com/view/rustverify2021">https://sites.google.com/view/rustverify2021</a></p>



<a name="231616469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/RustVerify%20Workshop/near/231616469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> FireFighterDuck <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html#231616469">(Mar 24 2021 at 11:10)</a>:</h4>
<p>Can anyone take part in this workshop (i.e. listen to the talks)? And is it necessary to register beforehand if your not a speaker?</p>



<a name="231616761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/RustVerify%20Workshop/near/231616761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bas Spitters <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html#231616761">(Mar 24 2021 at 11:12)</a>:</h4>
<p>You need to register (see the website), but one can always try to contact the organizers for a direct link.<br>
I'm not the organizer...</p>



<a name="231626954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/RustVerify%20Workshop/near/231626954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> FireFighterDuck <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html#231626954">(Mar 24 2021 at 12:48)</a>:</h4>
<p>Thanks for the clarification and sorry, I totally missed that the workshop was part of ETAPS 2021.</p>



<a name="233217232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/RustVerify%20Workshop/near/233217232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html#233217232">(Apr 05 2021 at 19:24)</a>:</h4>
<p>are registrations closed for this? I'd love to be a fly on the wall...</p>



<a name="233222136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/RustVerify%20Workshop/near/233222136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> FireFighterDuck <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html#233222136">(Apr 05 2021 at 20:05)</a>:</h4>
<p><a href="https://etaps.org/2021/registration">This page</a> says it's sill open. Unfortunately, most other events are already finished.</p>



<a name="233557340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/RustVerify%20Workshop/near/233557340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.html#233557340">(Apr 07 2021 at 20:39)</a>:</h4>
<p>see also <a class="stream-topic" data-stream-id="183875" href="/#narrow/stream/183875-wg-formal-methods/topic/RustVerify.20Workshop.20Zulip">#wg-formal-methods &gt; RustVerify Workshop Zulip</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>